YAP Prolog - Universidade do Porto

YAP is a high-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM ...

www.dcc.fc.up.pt